61. Languages, compilers, and run-time systems for scalable computers : 5th International Workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers
Author: Sandhya Dwarkadas )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
Classification :
QA
76
.
L28
Vol
.
1915
62. Languages, compilers, and tools for embedded systems
Author: ACM SIGPLAN Workshop LCTES 2000 (2000 :Vancouver, B.C.)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Embedded computer systems- Programming- Congresses►Programming languages (Electronic computers)- Congresses►Compilers (Computer programs)- Congresses
Classification :
76
.
6
.
A13
2000
63. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
Author: Jack Davidson, Sang Lyul Min, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1985
64. Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000 : proceedings
Author: ACM SIGPLAN Workshop LCTES 2000, Vancouver, 2000
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Embedded computer systems- Programming- Congresses ► Programming languages (Electronic computers)- Congresses ► Compilers (Computer programs)- Congresses
Classification :
005
A184l
65. PACT 2006 : proceedings of the Fifteenth International Conference on Parallel Architectures and Compilation Techniques : September 16-20, 2006, Seattle, Washington, USA
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel computers,Congresses ، Computer architecture,Congresses ، Parallel processing )Electronic computers(,Congresses ، Compiling )Electronic computers(,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
58
.
I527
2006
66. Proceedings : 2002 International Conference on Parallel Architectures and Compilation Techniques : PACT 2002 : 22-25 September, 2002, Charlottesville, Virgina, USA
Author: sponsored by IEEE Computer Society Technical Committee on Computer Architecture... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel computers,Congresses ، Computer architecture,Congresses ، Parallel processing )Electronic computers(,Congresses ، Compiling )Electronic computers(,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
58
.
I527
2002
67. Proceedings : Sixth annual Workshop on Interaction Between Compilers and Computer Architectures : Cambridge, Massachusetts, 3 February 2002
Author: sponsored by IEEE Computer Society
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
Classification :
QA
76
.
76
.
C65W64
2002
68. Proceedings of the 2010 CGO : the eighth International Symposium on Code Generation and Optimization : April 24-28, 2010, Toronto, Ontario, Canada
Author: co-sponsored by ACM SIGMICRO, ACM SIGPLAN, and the IEEE Computer Society TC-uARCH
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Code generators,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
76
.
G46I57
2010
69. Program analysis and compilation, theory and practice
Author: / Thomas Reps, Mooly Sagiv, J?�rg Bauer (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Wilhelm, R.--(Reinhard),--1946,Computer programs--Verification--Congresses,Compilers (Computer programs)--Congresses,Computer programming--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
P745
,
2007
70. Program analysis and compilation, theory and practice
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: ; Computer programs ; Verification ; Congresses. ; Compilers (Computer programs) ; Congresses. ; Computer programming ; Congresses. ; -Wilhelm, R. ; (Reinhard), ; 1946
71. Program analysis and compilation, theory and practice :
Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
Classification :
QA76
.
76
.
V47
P745
2007
72. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
73. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996
74. Scalable uncertainty management :
Author: Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
Classification :
Q375
75. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
Author: edited by Neil D. Jones
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
L28
Vol
.
94
76. Software and compilers for embedded systems : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings
Author: Henk Schepers )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
3199
77. Software and compilers for embedded systems : 7th international workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003 : proceedings
Author: Andreas Krall )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Programming -- Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
2826
78. Software engineering and formal methods :
Author: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
I58
2011
79. Software engineering, business continuity, and education :
Author: Tai-hoon Kim...[et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business-- Data processing, Congresses.,Data recovery (Computer science), Congresses.,Management information systems, Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
A84
2011
80. Theory of Cryptography
Author: \ Björn Franke (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلرها (برنامه کامپیوتر) -- کنگره ها,زبانهای برنامه نویسی ,مهندسی نرم افزار
Classification :
QA76
.
76
.
T46
2015
E-Book
,
